формальная модель политики безопасности

формальная модель политики безопасности
information security
eng.formal security policy model
rus.формальная модель политики безопасности
ukr.формальна модель політики безпеки
Математическое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение (безопасного) состояния системы. Примером является модель Белла-Лападула.

English-Russian dictionary of information security . 2014.

Игры ⚽ Нужна курсовая?

Смотреть что такое "формальная модель политики безопасности" в других словарях:

  • формальная модель политики безопасности — Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB) …   Справочник технического переводчика

  • модель Белла-Лападула — Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход… …   Справочник технического переводчика

  • Критерии определения безопасности компьютерных систем — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Критерии определения безопасности компьютерных систем (англ. Trusted Computer System Evaluation Criteria …   Википедия

  • Критерии оценки доверенных компьютерных систем — стандарт Министерства обороны США (англ. Department of Defense Trusted Computer System Evaliation Criteria, TCSEC, DoD 5200.28 STD, December 26, 1985), более известный под именем Оранжевая книга (англ. Orange Book ) из за цвета обложки. Данный… …   Википедия

  • Барак Обама — (Barack Obama) Барак Обама это 44 й президент Соединенных Штатов Америки, первый темнокожий президент на этом посту Биография президента США Барака Обамы, в том числе его политическая карьера, деятельность в сенате штата Иллинойс и затем в Сенате …   Энциклопедия инвестора

  • Управление доступом на основе ролей — (англ. Role Based Access Control, RBAC) развитие политики избирательного управления доступом, при этом права доступа субъектов системы на объекты группируются с учетом специфики их применения, образуя роли.[1][2] Формирование ролей призвано… …   Википедия

  • Контроль доступа на основе ролей — Содержание 1 Введение 2 История 3 Базовая модель RBAC 4 Возможности и применение …   Википедия

  • Ролевое разграничение доступа — Содержание 1 Введение 2 История 3 Базовая модель RBAC 4 Возможности и применение …   Википедия

  • Ролевое управление доступом — Содержание 1 Введение 2 История 3 Базовая модель RBAC 4 Возможности и применение …   Википедия

  • Демография — (Demography) Содержание Содержание 1. История формирования демографии Формирование демографических знаний (XVI — начало XIX века) Возникновение демографической науки (XIX век) Современное развитие (середина XX — до сегодняшнего дня) 2 …   Энциклопедия инвестора

  • Модернизация — (Modernization) Модернизация это процесс изменения чего либо в соответствии с требованиями современности, переход к более совершенным условиям, с помощью ввода разных новых обновлений Теория модернизации, типы модернизации, органическая… …   Энциклопедия инвестора


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»